Program Understanding case study solution using the Viatra2 framework
نویسندگان
چکیده
The current paper presents a solution of the Model Transformations for Program Understanding: A Reengineering Challenge case study of the Transformation Tool Contest 2011, using the Viatra2 model transformation tool. This work was partially supported by ICT FP7 SecureChange (ICT-FET-231101) European Project.
منابع مشابه
A case study of flood dynamic wave simulation in natural waterways using numerical solution of unsteady flows
Flood routing has many applications in engineering projects and helps designers in understanding the flood flow characteristics in river flows. Floods are taken unsteady flows that vary by time and location. Equations governing unsteady flows in waterways are continuity and momentum equations which in case of one-dimensional flow the Saint-Venant hypothesis is considered. Dynamic wave model as ...
متن کاملSaying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case
Automated model transformations play an important role in modern model-driven system engineering in order to query, derive and manipulate large, industrial models. Since such transformations are frequently integrated into design environments, they need to provide short reaction time to support software engineers. The objective of the VIATRA2 (VIsual Automated model TRAnsformations [9]) framewor...
متن کاملSolving the TTC 2011 Reengineering Case with VIATRA2
Automated model transformations play an important role in modern model-driven system engineering in order to query, derive and manipulate large, industrial models. Since such transformations are frequently integrated to design environments, they need to provide short reaction time to support software engineers. The objective of the VIATRA2 (VIsual Automated model TRAnsformations [9]) framework ...
متن کاملTrain Benchmark Case: an EMF-INCQUERY Solution
Automated model transformations are frequently integrated with modeling environments, requiring both high performance and a concise programming interface to support software engineers. The objective of the EMF-INCQUERY [2] framework is to provide a declarative way to define queries over EMF models. EMF-INCQUERY extended the pattern language of VIATRA2 with new features (including transitive clo...
متن کاملBPMN to BPEL case study solution in VIATRA2
Automated model transformations play an important role in modern model-driven system engineering in order to query, derive and manipulate large, industrial models. Since such transformations are frequently integrated to design environments, they need to provide short reaction time to support software engineers. Graph transformation (GT) [1] based tools have been frequently used for specifying a...
متن کامل